1. Data refinement :
المؤلف: Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth [and others]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programs-- Verification.,Computer simulation.,Data structures (Computer science)
رده :
QA76
.
9
.
C65
R64
1998eb


2. Data refinement :
المؤلف: Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth [and others]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programs-- Verification.,Computer simulation.,Data structures (Computer science)
رده :
QA76
.
9
.
C65
R64
1998eb


3. Ontology, Epistemology, and Teleology for Modeling and Simulation
المؤلف: / [edited by] Andreas Tolk
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Simulation methods -- Philosophy,Data structures (Computer science),شبیهسازی - فلسفه,ساختار دادهها(کامپیوتر)
رده :
QA76
.
O59
2013

